翻訳と辞書
Words near each other
・ Conway algebra
・ Conway and Llanrwst Railway
・ Conway B. Leovy
・ Conway Baker
・ Conway baronets
・ Conway base 13 function
・ Conway Berners-Lee
・ Conway Blennerhassett
・ Conway Bown
・ Conway Branch
・ Conway Bridge
・ Conway Bypass (New Hampshire)
・ Conway Cabal
・ Conway Cemetery State Park
・ Conway Center Historic District
Conway chained arrow notation
・ Conway Christian High School
・ Conway Coast and Western Railroad
・ Conway County, Arkansas
・ Conway criterion
・ Conway Downtown Historic District
・ Conway Farms Golf Club
・ Conway Farrell
・ Conway Formation
・ Conway Francis
・ Conway granite
・ Conway group
・ Conway group Co1
・ Conway group Co2
・ Conway group Co3


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Conway chained arrow notation : ウィキペディア英語版
Conway chained arrow notation
Conway chained arrow notation, created by mathematician John Horton Conway, is a means of expressing certain extremely large numbers in googology. It is simply a finite sequence of positive integers separated by rightward arrows, e.g. 2 → 3 → 4 → 5 → 6.
As with most combinatorial symbologies, the definition is recursive. In this case the notation eventually resolves to being the leftmost number raised to some (usually enormous) integer power.
==Definition and overview==
A ''Conway chain'' (or ''chain'' for short) is defined as follows:
* Any positive integer is a chain of length 1.
* A chain of length ''n'', followed by a right-arrow → and a positive integer, together form a chain of length n+1.
Any chain represents an integer, according to the four rules below. Two chains are said to be equivalent if they represent the same integer.
If p and q are positive integers, and X is a subchain, then:
# An empty chain (or a chain of length 0) represents 1, and the chain p represents the number p.
# p \to q represents the exponential expression p^q. (Note that Conway in 〔John H. Conway & Richard K. Guy, The Book of Numbers, 1996, p.59-62〕 leaves the 2-tuple undefined, but has the 3d parameter count Knuth's arrows, so that this rule actually follows from the axiom to drop the \to 1 from the right end.)
# X \to 1 is equivalent to X.
# X \to p \to (q + 1) is equivalent to X \to ( X \to ( \cdots (X \to ( X ) \to q)\cdots ) \to q ) \to q
(with ''p'' copies of ''X'', ''p'' − 1 copies of ''q'', and ''p'' − 1 pairs of parentheses; applies for ''q'' > 0).
Note that the last rule can be restated recursively to avoid the ellipses:
:4a. X \to 1 \to (q + 1) = X
:4b. X \to (p + 1) \to (q + 1) = X \to (X \to p \to (q+1)) \to q

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Conway chained arrow notation」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.